<?php
		/*~~~~~~~~~~~~~~~~~~~DEMARRAGE DE LA SESSION~~~~~~~~~~~~~~*/
		
		if (!isset($_SESSION['timeout']))
		{
			session_start();
			session_regenerate_id();
			$_SESSION['session'] = session_name();
			$_SESSION['timeout'] = time();
		}
		else if(time() - $_SESSION['timeout'] > 10)//600)  600 secondes = 10 min
		{
			echo "session detruite<br>";
			//session_unset();session_regenerate_id
			session_commit();
			session_start();
		}
		$_SESSION['timeout'] = time();
		/*~~~~~~~~~~~~~~~~~~~FIN DEMARRAGE DE LA SESSION~~~~~~~~~~~~~~*/
?>
